Huai-kou Miao: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System

Liu, Yang, Miao, Huai-Kou, Zeng, Hong-Wei, Ma, Yan, Liu, Pan

Journal:

Journal of Computer Science and Technology

Year:

2013

Language:

english

File:

PDF, 1014 KB

english, 2013

2

Transformation from computation independent model to platform independent model with pattern

Xiao-xia Cao, Huai-kou Miao, Yi-hai Chen

Journal:

Journal of Shanghai University (English Edition)

Year:

2008

Language:

english

File:

PDF, 325 KB

english, 2008

3

An approach to formalizing specification-based class testing

Huai-kou Miao, Ling Liu

Journal:

Journal of Shanghai University (English Edition)

Year:

2006

Language:

english

File:

PDF, 654 KB

english, 2006

4

A components library system model and the support tool

Miao Huai-kou, Liu Hui, Liu Jing, Li Xiao-bo

Journal:

Wuhan University Journal of Natural Sciences

Year:

2004

Language:

english

File:

PDF, 2.32 MB

english, 2004

5

Multiple UIO-based test sequence generation for distributed systems

Wen-yu Liu, Hong-wei Zeng, Huai-kou Miao

Journal:

Journal of Shanghai University (English Edition)

Year:

2008

Language:

english

File:

PDF, 268 KB

english, 2008

6

A specification-based case study from test class framework

Ling Liu, Huai-kou Miao

Journal:

Journal of Shanghai University (English Edition)

Year:

2001

Language:

english

File:

PDF, 468 KB

english, 2001

7

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Modeling and Refining the Service-Oriented Requirement

Cao, Xiao-Xia, Miao, Huai-Kou, Xu, Qing-Guo

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

8

[IEEE 2009 International Conference on Computer Modeling and Simulation (ICCMS) - Macau, China (2009.02.20-2009.02.22)] 2009 International Conference on Computer Modeling and Simulation - Modeling and Consistency Checking Based on Category for Web Navigation Behavior

Zhang, Xin-lin, Miao, Huai-kou, Zeng, Hong-wei

Year:

2009

Language:

english

File:

PDF, 791 KB

english, 2009

9

[IEEE Sixth International Conference on Grid and Cooperative Computing (GCC 2007) - Xinjiang, China (2007.08.16-2007.08.18)] Sixth International Conference on Grid and Cooperative Computing (GCC 2007) - An Approach to Modeling Hypermedia Web Applications

Zhong-sheng, QIAN, Huai-kou, MIAO, Tao, HE

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

10

Timed automata for metric interval temporal logic formulae in prototype verification system

Qing-guo Xu, Huai-kou Miao

Journal:

Journal of Shanghai University (English Edition)

Year:

2008

Language:

english

File:

PDF, 323 KB

english, 2008

11

A Z specification for employment clerical system

Huai-kou Miao, Teklay Tesfay, Bizuneh Bekele

Journal:

Journal of Shanghai University (English Edition)

Year:

2000

Language:

english

File:

PDF, 337 KB

english, 2000

12

Specifying hotel guestroom reservation system using Z notation

Huai-kou Miao, Bekele Bizuneh, Tesfay Teklay

Journal:

Journal of Shanghai University (English Edition)

Year:

1999

Language:

english

File:

PDF, 383 KB

english, 1999

13

Functionality semantics of predicate data flow diagram

Xiao-lei Gao, Huai-kou Miao, Ling Liu

Journal:

Journal of Shanghai University (English Edition)

Year:

2004

Language:

english

File:

PDF, 600 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски